Curry–Howard correspondence - PDFSEARCH.IO - Document Search Engine

Curry–Howard correspondence
Results: 226

#	Item
151	Jaakko Hintikka Boston University and Ilpo Halonen University of Helsinki Add to Reading List Source URL: scistud.umkc.edu Language: English - Date: 2002-07-15 23:21:00 Proof theory Deduction Propositional calculus Method of analytic tableaux First-order logic Entailment Interpolation Sequent calculus Curry–Howard correspondence Logic Mathematical logic Automated theorem proving
152	27 January 2007, ACM Transactions on Computational Logic, Vol. 8 (1:1), 2007, pp. 1–64 A System of Interaction and Structure Alessio Guglielmi University of Bath Bath BA2 7AY Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:50 Noncommutative logic Linear logic Natural deduction Substructural logic Cut-elimination theorem Sequent Curry–Howard correspondence Deep inference Admissible rule Logic Mathematical logic Proof theory
153	Lecture Notes on Focusing Oregon Summer School 2010 Proof Theory Foundations Frank Pfenning Lecture 4 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-06-23 09:43:10 Sequent calculus Curry–Howard correspondence Entailment Linear logic Sequent Combinatory logic Natural deduction Logic Mathematical logic Proof theory
154	A logical basis for quantum evolution and entanglement Richard F. Blute1 , Alessio Guglielmi2 , Ivan T. Ivanov3 , Prakash Panangaden4 , and Lutz Straßburger5 1 Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2013-09-18 14:19:30 Proof theory Non-classical logic Logic in computer science Deduction Propositional calculus Linear logic Entailment Directed acyclic graph Curry–Howard correspondence Logic Mathematical logic Mathematics
155	Polymorphism and Separation in Hoare Type Theory Aleksandar Nanevski Harvard University [removed] Greg Morrisett Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:56 Models of computation Lambda calculus Predicate logic Computability theory First-order logic Hoare logic Ordinal number Curry–Howard correspondence Mathematical logic Theoretical computer science Logic
156	NEW-HOPLA a higher-order process language with name generation Glynn Winskel Computer Laboratory, University of Cambridge, UK Francesco Zappa Nardelli Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-05-06 09:33:37 Symbol Lambda calculus Proof theory Curry–Howard correspondence Valuation Mathematics Mathematical logic Applied mathematics
157	RATIONAL HOMOLOGY OF AUT(Fn ) Allen Hatcher * and Karen Vogtmann* ABSTRACT. We compute the rational homology in dimensions less than seven of the group of automorphisms of a finitely generated free group of arbitrary ran Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 1998-12-23 10:36:42 Geometric topology Algebraic topology Homotopy theory Fundamental group Entailment Mapping class group Curry–Howard correspondence Karen Vogtmann Train track map Topology Mathematics Abstract algebra
158	Mini-course on proof theory Pierre-Louis Curien (CNRS, University Paris 7, and INRIA) Cambridge, June 1, 3, and 4, 2010 Supported by a Leverhulme grant Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-06-08 06:42:34 Mathematics Natural deduction Curry–Howard correspondence Sequent calculus Linear logic Sequent Cut-elimination theorem Proof theory Logic Mathematical logic
159	Behavioral Polymorphism and Parametricity in Session-Based Communication Lu´ıs Caires1 , Jorge A. P´erez1 , Frank Pfenning2 , and Bernardo Toninho1,2 1 CITI and Departamento de Inform´atica, FCT, Universidade Nova d Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-02-20 17:52:24 Programming language theory Curry–Howard correspondence System F Lambda calculus Connection Polymorphism Generic programming Type system Type theory Software engineering Theoretical computer science

UPDATE